((v7 v9 4) (v9 v6 2) (v8 v1 5) (v10 v2 5) (v9 v8 6) (v6 v10 8) (v6 v7 5) (v4 v2 4) (v10 v3 5) (v5 v1 4) (v8 v3 7) (v7 v8 8) (v3 v1 1) (v5 v10 4) (v5 v7 8) (v1 v9 7) (v1 v7 5) (v1 v10 7) (v5 v4 5) (v8 v4 6) (v3 v7 3) (v6 v1 3) (v8 v2 0) (v10 v8 3) (v5 v3 4) (v8 v6 4))
66
((v8 v7) (v1 v4) (v2 v6) (v5 v8) (v8 v4))